Temporal Logics of Agency

Temporal Logics of Agency

Time is the grand stage where human activities take place (rational or otherwise). And the view of a branching temporal universe, or tree of possible events, with our actual history linearly advancing through it, is a widely shared cultural idea, not confined to Academia (cf. Borges brilliant 1941 essay El Jard́ın de senderos que se bifurcan). Even though logic is often considered a study of tim...

Temporal logics

These notes have been written as a support for the course about temporal logics taught at MPRI (Master Parisien de Recherche en Informatique) during the first semester of year 2006-2007. They contain most of what will be studied during the course, most often with detailled proofs, and several exercises, ranked from easy ( ) to hard ( ).

Temporal Logics and Temporal Reasoning

Expressiveness of Temporal Logics

Propositional Logic, Modal Logic and Temporal Logic Definition The syntax of propositional logics is defined as φ ::= p | ¬φ | φ ∨ φ | φ ∧ φ where p ranges over a (finite) set of atomic propositions AP. The semantics is given by truth tables, e.g., for p ∧ q: ∧ > ⊥ > > ⊥ ⊥ ⊥ ⊥ Propositional Logic, Modal Logic and Temporal Logic Definition The syntax of propositional logics is defined as φ ::= p...

Temporal Action Logics

The study of frameworks and formalisms for reasoning about action and change [67, 58, 61, 65, 70, 3, 57] has been central to the knowledge representation field almost from the inception of Artificial Intelligence as a general field of research [52, 56]. The phrase “Temporal Action Logics” represents a class of logics for reasoning about action and change that evolved from Sandewall’s book on Fe...